Constraint inference - PDFSEARCH.IO - Document Search Engine

Constraint inference
Results: 52

#	Item
41	Partial Valuation Structures for Qualitative Soft Constraints Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Stegh¨ofer, Gerrit Anders, Florian Siefert, and Wolfgang Reif Institute for Software & Systems Engineeri Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:11 Local consistency Constraint satisfaction Constraint Relational model Artificial intelligence Constraint inference Decomposition method Constraint programming Computing Constraint satisfaction problem
42	Preprints of the Federated Conference on Computer Science and Information Systems pp. 1559–1568 Synthesised Constraint Models for Distributed Energy Management Alexander Schiendorfer, Jan-Philipp Steghöfer, Wolfgang R Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:10 Software engineering Computer programming Applied mathematics Constraint satisfaction Linear programming Economic model Multi-objective optimization Constraint inference Constraint programming Operations research Mathematical optimization
43	Submitted to the Annals of Applied Statistics COMBINING ISOTONIC REGRESSION AND EM ALGORITHM TO PREDICT GENETIC RISK UNDER MONOTONICITY CONSTRAINT By Jing Qin∗,¶ , Tanya P. Garcia∗,†,k , Yanyuan Ma∗∗ , Ming-X Add to Reading List Source URL: www.stat.tamu.edu Language: English - Date: 2014-01-27 11:11:27 Statistical theory Kaplan–Meier estimator Maximum likelihood Estimator Expectation–maximization algorithm Bootstrapping Efficient estimator Statistics Estimation theory Statistical inference
44	Proceedings of WCB13 Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Pal`u and Agostino Dovier September 16, 2013, Uppsala (Sweden) Add to Reading List Source URL: cp2013.a4cp.org Language: English - Date: 2014-06-16 22:25:15 Constraint programming Econometrics Systems biology Data analysis Gene regulatory network Constraint satisfaction problem Regression analysis Confidence interval Bootstrapping Statistics Science Statistical inference
45	Constrained Types for Object-Oriented Languages Nathaniel Nystrom ∗ Vijay Saraswat ∗ Jens Palsberg † Add to Reading List Source URL: grothoff.org Language: English - Date: 2011-06-21 07:45:41 Type theory Constraint programming Data types Method C++ Type system Constructor Constraint inference Objective-C Software engineering Computing Computer programming
46	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
47	Seven Languages in Seven Weeks Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-03-27 11:47:17 Constraint programming Prolog Inference Logic programming Object-oriented programming Definite clause grammar B-Prolog Software engineering Computing Computer programming
48	Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory
49	University of Potsdam Faculty of Computer Science Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2006-05-02 04:55:54 Automated theorem proving Constraint programming Boolean algebra Rules of inference Logic programming Boolean satisfiability problem Directed acyclic graph Resolution Clause Theoretical computer science Mathematics Mathematical logic
50	Appeared in ICSC[removed]Modeling Discriminative Global Inference Add to Reading List Source URL: l2r.cs.uiuc.edu Language: English - Date: 2007-09-22 23:27:00 Mathematics Operations research Data types Java programming language Learning Based Java Linear programming Function Constraint optimization Machine learning Software engineering Constraint programming Computer programming

UPDATE